Modular Production System Control Using Supervisory Control Theory Method
نویسندگان
چکیده
منابع مشابه
Cost Based Implementation of Modular Supervisory Control Theory
This paper presents a proposal for the implementation of the local modular supervisory control theory focused on the cost. From the approach based on the controllable languages, the paper explores the accomplishment of the theoretical model in low cost platforms, based on small-sized PLCs, micro-controllers and commercial electronic devices. A control structure is, then, proposed as the adequat...
متن کاملPSPACE-completeness of Modular Supervisory Control Problems*
In this paper we investigate computational issues associated with the supervision of concurrent processes modeled as modular discrete-event systems. Here, modular discrete-event systems are sets of deterministic finite-state automata whose interaction is modeled by the parallel composition operation. Even with such a simple model process model, we show that in general many problems related to t...
متن کاملSupervisory control using control objectives
We study the supervisory control problem for closed languages when the specifications are given in terms of control objectives i.e. a pairing of predicates associated with blocking events. We show that under some conditions the supervisory control problem is decidable for non-regular languages and results in obtaining the least restrictive behavior. The result appears to give an extension of th...
متن کاملPerformance in Supervisory Control Theory
A supervisor is generated with Supervisory Control Theory [3], resulting in a nonblocking and minimally restrictive controller. Time is introduced time using timed automata theory. A compact data structure is used to keep track of the time information in the timed automata: Heaps of Pieces [2]. The fastest sequence of events is found, using graph search algorithms of Dijkstra and A [1]. This is...
متن کاملNew Supervisory Control Using Control-relevant Switching
This paper presents a new supervisory control scheme, which is based on a control-relevant switching logic. Unlike most of the existing switching methods considering only estimator performance, the proposed scheme takes both estimator and controller performance into account. As an index to the controller performance, an iISS (integral-Input-to-State Stability) Lyapunov function is employed; it ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Physics: Conference Series
سال: 2021
ISSN: 1742-6588,1742-6596
DOI: 10.1088/1742-6596/1858/1/012095